results for Abstract State Machine Language